" Martin Henson" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Автор: Dines Bjorner, Автор: Martin C. Henson

Размер книги: 5.36 Mb

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Автор: Helen Treharne, Автор: Steve King, Автор: Martin Henson, Автор: Steve Schneider

Размер книги: 6.90 Mb

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Автор: Didier Bert, Автор: Jonathan P. Bowen, Автор: Martin C. Henson, Автор: Ken Robinson

Размер книги: 3.54 Mb